21. Automated Deduction – CADE-25
پدیدآورنده : \ Amy P. Felty , Aart Middeldorp (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگرهها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
22. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
23. Discovering Patterns in Mathematics and Poetry
پدیدآورنده : \ Marcia Birken and Anne C. Coon
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
24. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
25. Encyclopedia of Ethics and Logic
پدیدآورنده : / edited by John H. Piet and Ayodhya Prasad
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق -- دایره المعارفها,اخلاق -- دایره المعارفها,منطق ریاضی,امورجنسی -- اخلاق,اخلاق -- تاریخ,زبان و منطق
رده :
BC
۹
/
ال
ف
۸۴ ۱۳۷۹
26. Equality,Resemblancc,and Order
پدیدآورنده : /Ju. A. Schreider
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق ریاضی
رده :
QA
۹
/
ش
۴
الف
۷ ۱۳۵۴
27. Essays on Frege
پدیدآورنده : / edited by E. D. Klemke.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : فرگ,Frege,، گاتلاب,, Gottlob,، ۱۸۴۸ - ۱۹۲۵م.,منطق ریاضی
رده :
QA
۲۹
/
ف
۴
ک
۸ ۱۳۴۷
28. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
29. Frege's Theorem
پدیدآورنده : \ Richard G. Heck, Jr
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Frege, Gottlob, -- 1848-1925. ,Arithmetic -- Philosophy.,Logic, Symbolic and mathematical.,فرگ، گاتلاب،۱۹۲۵-۱۸۴۸ م.,حساب -- فلسفه,منطق ریاضی
رده :
B3245
.
F24
H43
2011
30. From Mathematics to Philosophy
پدیدآورنده : \ Hao Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
31. Frontiers of Combining Systems
پدیدآورنده : \ Carsten Lutz, Silvio Ranise (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگرهها,a01,a01
رده :
QA
9
.
A1
F7
2015
E-Book
,
32. Fundamentals of Critical Argumentation
پدیدآورنده : / Douglas N. Walton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Reasoning,Argumentation,PHILOSOPHY -- Logic,استدلال,حجت (منطق),منطق ریاضی - فلسفه
رده :
BF463
.
W32
2006
33. Fundamentals of symbolic logic
پدیدآورنده : / Alice Ambrose and Morris Lazerowitz.,امبروز,Ambrose
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
الف
۸
ف
۲ ۱۳۴۱
34. Fuzzy Logic and Mathematics
پدیدآورنده : \ Radim Bělohlávek, Joseph W. Dauben, and George J. Klir
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,Logic, symbolic and mathematical,منطق فازی,منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
35. Handbook of Logic in Computer Science
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
36. Handbook of Spatial Logics
پدیدآورنده : \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
37. Handbook of logic and language
پدیدآورنده : / Johan Van Benthem, Alice ter Meulen.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : پردازش زبان طبیعی,منطق ریاضی,معنیشناسی,-- دستنامهها,-- دستنامهها,-- دستنامهها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
38. Interactive Theorem Proving
پدیدآورنده : \ Christian Urban, Xingyuan Zhang (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگرهها,a03,a03
رده :
QA
76
.
9
.
A96
E-Book
,
39. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگرهها
رده :
Q
336
.
K5
2015
E-Book
,
40. Linguistic Fuzzy Logic Methods in Social Sciences
پدیدآورنده : \ Badredine Arfi.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,منطق فازی,a04,a04,Social sciences-- Mathematical models.,علوم اجتماعی -- الگوهای ریاضی
رده :
H
61
.
25
.
A7L5
2010
E-Book
,